This is a complete exposition of a tight version of a fundamental theorem of computational complexity due to Levin: The inherent space complexity of any partial function is very accurately specifiable in a Π1 way, and every such specification that is even Σ2 does characterize the complexity of some partial function, even one that assumes only the values 0 and 1.

. In this paper, I attempt to dissolve the theism/atheism boundary. In the first part, I consider last things, according to mainstream science. In the second part, I define the Natural God as the Force of Nature—evolving, unifying, maximizing—and consider Its relation to last things. Finally, I discuss our knowledge of the Natural God and Its relevance to our personal lives. I argue that we can know the Natural God through scientific reason combined with global intuition, and that this knowledge, (...) from the perspective of last things, may help us achieve universal love, ethical action, and personal salvation. (shrink)

In spite of the work of Gödel and Cohen, which showed the undecidability of the Generalized Continuum Hypothesis from the axioms of set theory, the problem still remains to decide GCH on the basis of new axioms. It is almost 100 years since Cantor first conjectured the Continuum Hypothesis, yet we seem to be no closer to determining its truth. Nevertheless, it is a sound methodological principle that given any undecidable set-theoretical statement, we should search for “other axioms of set (...) theory which a more profound understanding of the concepts underlying logic and mathematics would enable us to recognize as implied by these concepts”. (shrink)

Modal Platonism utilizes "weak" logical possibility, such that it is logically possible there are abstract entities, and logically possible there are none. Modal Platonism also utilizes a non-indexical actuality operator. Modal Platonism is the EASY WAY, neither reductionist nor eliminativist, but embracing the Platonistic language of abstract entities while eliminating ontological commitment to them. Statement of Modal Platonism. Any consistent statement B ontologically committed to abstract entities may be replaced by an empirically equivalent modalization, MOD(B), not so ontologically committed. This (...) equivalence is provable using Modal/Actuality Logic S5@. Let MAX be a strong set theory with individuals. Then the following Schematic Bombshell Result (SBR) can be shown: MAX logically yields [T is true if and only if MOD(T) is true], for scientific theories T. The proof utilizes Stephen Neale's clever model-theoretic interpretation of Quantified Lewis S5, which I extend to S5@. (shrink)

Rousseau has always had an uncertain relationship with the theory of constituent power. On the one hand, his distrust of political representation and support for popular sovereignty seem consistent with the idea of the people as a legally unlimited constitution-maker. On the other hand, if, from those views about representation and sovereignty, it follows that Rousseau is a proponent of direct democracy, then there seems to be no place in his thought for a theory that presupposes, above all, a separation (...) between those who exercise a delegated authority and those who possess an original constitution-making power. In a legal order in which all laws must be directly made by the people, such a separation is absent: the constituent and the legislative body are one and the same. It is therefore not surprising that Rousseau’s name is largely absent from contemporary literature on constituent power. In this article, however, I will show that once Rousseau’s particular conception of law, as well as his distinction between sovereignty and government, are properly understood, one finds in his work not only the first major formulation of the theory of constituent power, but also a careful exploration of its implications for actual constitutional practice. (shrink)

El conjunto de ensayos que el lector tiene entre sus manos expresa un cuerpo sistemático de ideas provocadoras sobre la tensión entre el constitucionalismo y la democracia. Su autor, el profesor Joel Colón-Ríos, boricua, formado en las dos facultades de derecho canadienses de mayor renombre, e investigador de una de las mejores universidades de Oceanía, las ha fraguado a lo largo de más de un lustro y debatido con gran éxito ante la elite intelectual de Norteamérica. La propuesta central (...) del libro es una original reivindicación de la democracia frente al constitucionalismo. Su institucionalización consiste en un constitucionalismo débil. La piedra angular de este modelo es una constitución inacabada, permanentemente abierta al cambio, que permite y promueve la participación y la deliberación popular continua, en particular, mediante el potencial ejercicio del poder constituyente en cualquier momento. De esta manera, el pueblo tiene la posibilidad de hablar por sí mismo cuando lo juzgue pertinente. Puede cuestionar y reformular los principios básicos de la organización social. No está supeditado a las decisiones adoptadas por los ancestros que expidieron la Constitución, ni por sus representantes que, en el Congreso, ostentan el poder de reformarla. Precio: 49.000 pesos. (shrink)

How can intuitions be used to validate or invalidate a philosophical theory? An intuition about a case seems to be a basic evidential source for the truth of that intuition, i.e., for the truth of the claim that a particular example is or isn’t an instance of a philosophically interesting kind, concept, or predicate. A mental‐state type is a basic evidential source only if its tokens reliably indicate the truth of their contents. The best way to account for intuitions being (...) a basic evidential source is to interpret their subject matter in psychologistic terms. Intuitions provide evidence about the contents of the intuiter's concept, where “concept” is understood as a psychological structure. (shrink)

In And I Said No Lord, photographer and writer Joel Katz presents a pictorial chronicle of his travels through the shifting islands of fear and loss, freedom and deliverance that was segregated Mississippi during the Freedom Summer of 1964.

This essay is a cut-up / remix / montage of the work of Slavoj Žižek. It is a recombination of materials from his critical publications, including The Sublime Object of Ideology, For They Know Not What They Do, The Fragile Absolute: Or, Why is the Christian Legacy Worth Fighting For?, Welcome to the Desert of the Real, The Parallax View, In Defense of Lost Causes, First As Tragedy, Then As Farce, Absolute Recoil: Towards a New Foundation of Dialectical Materialism, and (...) Trouble in Paradise: From the End of History to the End of Capitalism. The section headers are all direct quotations from Žižek’s texts, as are the individual sentences in the essay’s first section. All other sentences are splicings-together of syntactic fragments from his texts. This essay is part of A Recombinant Theory Project. Micro-reports from this project are regularly published on Twitter: @remixtheory. (shrink)

I critically discuss Strawson's transcendental argument against other minds scepticism, and look at the prospects for a naturalised version of it.

A family of recent externalist approaches in philosophy of mind argues that our psychological capacities are synchronically and diachronically “scaffolded” by external resources. I consider how these “scaffolded” approaches might inform debates in phenomenological psychopathology. I first introduce the idea of “affective scaffolding” and make some taxonomic distinctions. Next, I use schizophrenia as a case study to argue—along with others in phenomenological psychopathology—that schizophrenia is fundamentally a self-disturbance. However, I offer a subtle reconfiguration of these approaches. I argue that schizophrenia (...) is not simply a disruption of ipseity or minimal self-consciousness but rather a disruption of the scaffolded self, established and regulated via its ongoing engagement with the world and others. I conclude by considering how this scaffolded framework indicates the need to consider new forms of intervention and treatment. (shrink)

I present a perceptual account of other minds that combines a Husserlian insight about perceptual experience with a functionalist account of mental properties.

I agree with much of Freeman and Reichart’s paper; so, by way of comment, I will simply supplement his argument in two ways. First, agreeing with their conclusion that we can, and should, re-direct business toward environmental protection without embracing a nonanthropocentric ethic, I will show that the pre-occupation of recent and contemporary environmental ethics with the anthropocentrism/non-anthropocentrism debate is avoidable. It rests on a misinterpretation of possible moral responses to the arrogance with which Western science, technology, and culture has (...) treated nature. A better understanding of the history of the idea of nonanthropocentrism will, I believe, strengthen Freeman and Reichart’s case for pluralism in environmental ethics and values. Second, I will emphasize several points that seem to me to fit well with Freeman and Reichart’s approach, and which would provide important detailing for the type of approach he sketches, arguing that much hard intellectual work stands between us and a satisfactory, and useful, but pluralistic, and life-centered ethic for business and the environment. (shrink)

In Coogan's Bluff (1968) and the Dirty Harry films, Clint Eastwood's characters often invoke luck when they want unpredictable others to assume some responsibility to stop violence, thereby implicating moral luck in heroism. In the famous ‘Do I feel lucky’ scene from Dirty Harry (1971), Eastwood's character might not be bluffing, but he is giving luck a role in justice. In this case and others, his character's unconventional responsibility should prompt reconsideration of his character's virtue. Viewers must also decide where (...) the deceptive or rule-breaking policeman locates the responsibility for his actions. (shrink)

The Lévy-Solovay Theorem [8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.

[This piece is written for those working in communication studies and in healthcare writ large, with the aim of bringing insights from disability studies and philosophy of disability to bear on discussion concerning disability in those fields.] Despite being assailed for decades by disability activists and disability studies scholars spanning the humanities and social sciences, the medical model of disability—which conceptualizes disability as an individual tragedy or misfortune due to genetic or environmental insult—still today structures many cases of patient–practitioner communication. (...) Synthesizing and recasting work done across critical disability studies and philosophy of disability, I argue that the reason the medical model of disability remains so gallingly entrenched is due to what I call the “ableist conflation” of disability with pain and suffering. In an effort to better equip healthcare practitioners and those invested in health communication to challenge disability stigma, discrimination, and oppression, I lay out the logic of the ableist conflation and interrogate examples of its use. I argue that insofar as the semiosis of pain and suffering is structured by the lived experience of unwelcome bodily transition or variation, experiences of pain inform the ableist conflation by preemptively tying such variability and its attendant disequilibrium to disability. I conclude by discussing how philosophy of disability and critical disability studies might better inform health communication concerning disability, offering a number of conceptual distinctions toward that end. (shrink)

Russell's Principle states that in order to think about an object I must know which thing it is, in the sense of being able to distinguish it from all other things. I show that, contra Strawson, Evans and Cassam, Russell's Principle cannot be applied to first-person thought so as to yield necessary conditions of self-consciousness. Footnotes1 Thanks to Naomi Eilan, Keith Hossack, Lucy O'Brien and Ann Whittle for helpful comments.

Grief is, and has always been, technologically supported. From memorials and shrines to photos and saved voicemail messages, we engage with the dead through the technologies available to us. As our technologies evolve, so does how we grieve. In this paper, we consider the role chatbots might play in our grieving practices. Influenced by recent phenomenological work, we begin by thinking about the character of grief. Next, we consider work on developing “continuing bonds” with the dead. We argue that for (...) some, chatbots may play an important role in establishing these continuing bonds by helping us develop what we term “habits of intimacy”. We then turn to the “ick factor” some may feel about this prospect, focusing especially on ethical concerns raised by Patrick Stokes and Adam Buben about the risk of replacing our dead with chatbots. We argue that replacement worries are not as pressing as Stokes and Buben suggest. We resist these replacement worries by appealing to the “thin reciprocity”, as we refer to it, that such bots offer, as well as the fictionalist stance that we think users of the bots adopt when engaging with them. We conclude by briefly raising some additional concerns and highlighting future research questions. (shrink)

Inconsistent representations of the world have in fact played and should play a role in scientific inquiry. However, it would seem that logical analysis of such representations is blocked by the explosive nature of deductive inference from inconsistent premisses. "Paraconsistent logics" have been suggested as the proper way to remove this impediment and to make explication of the logic of inconsistent scientific theories possible. I argue that installing paraconsistent logic as the underlying logic for scientific inquiry is neither a necessary (...) nor a sufficient condition for giving a philosophical alternative, I suggest that identification of heuristic strategies, based on the network of confirming evidence for inconsistent proposals for reasoning from such proposals to their consistent replacements is the proper way to explicate their function in science. (shrink)

I argue that emotions are belief/desire sets characterized by strong desire.

Moderate rationalism is the view a person's having a rational intuition that p prima facie justifies them in believing that p. It has recently been argued that moderate rationalism requires empirical support and, furthermore, that suitable empirical support would suffice to convince empiricists to abandon their opposition to rationalism. According to one argument, the causal requirement argument, empirical evidence is necessary in order to justify the claim that any actual token belief is based on rational intuition and moderate rationalism requires (...) such a claim for its justification. According to a second argument, the reliability argument, empirical evidence is necessary in order to justify the claim that a putative source of evidence is reliable and moderate rationalism requires such a claim for its justification. According to a third argument, the empirical case argument, certain sorts of empirical evidence would be dialectically sufficient to resolve the traditional dispute between empiricists and rationalists in the rationalists' favor. Against the causal requirement argument, I maintain that the core doctrines of moderate rationalism are not hostage to causal claims and that such causal claims as may be plausibly part of other recognizably rationalist doctrines can be justified on broadly non-empirical grounds. Against the reliability argument, I show that no empirical evidence is required to justify belief in the reliability of rational intuition. Against the empirical case argument, I argue that the envisioned empirical support for moderate rationalism should not convince any traditional empiricist. (shrink)

In this paper, following an idea of Christophe Chalons. I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence varphi holding in some forcing extension $V^P$ and all subsequent extensions $V^{P\ast Q}$ holds already in V. It follows, in fact, that such sentences must also hold in all forcing extensions of V. In modal terms, therefore, the Maximality Principle is expressed by the scheme $(\lozenge \square \varphi) \Rightarrow \square \varphi$ , and is equivalent to (...) the modal theory S5. In this article. I prove that the Maximality Principle is relatively consistent with ZFC. A boldface version of the Maximality Principle, obtained by allowing real parameters to appear in φ, is equiconsistent with the scheme asserting that $V_\delta \prec V$ for an inaccessible cardinal δ, which in turn is equiconsistent with the scheme asserting that ORD is Mahlo. The strongest principle along these lines is $\square MP\!_{\!\!\!\!\!\!_{\!\!_\sim}}$ , which asserts that $MP\!_{\!\!\!\!\!\!_{\!\!_\sim}}$ holds in V and all forcing extensions. From this, it follows that $0^\#$ exists, that $x^\#$ exists for every set x, that projective truth is invariant by forcing, that Woodin cardinals are consistent and much more. Many open questions remain. (shrink)

The Body Claim states that a transcendental condition of self-consciousness is that one experience oneself as embodied. The contention of this thesis is that popular arguments in support of the Body Claim are unconvincing. Understanding the Body Claim requires us to have a clear understanding of both self-consciousness and embodied experience. In the first chapter I lay out two different conceptions of self-consciousness, arguing that the proponent of the Body Claim should think of self-consciousness as first-person thought. I point out (...) that since arguments for the Body Claim tend to proceed by stating putative transcendental conditions on self-reference, the proponent of the Body Claim must maintain that there is a conceptual connection between self-consciousness and self-reference. In the second chapter I argue against views, originating from Wittgenstein and Anscombe, which reject this connection between self-consciousness and self-reference. In chapter three I show that a well known principle governing the ascription of content, that which Evans calls ‘Russell’s Principle’, occupies an ambiguous position with regards to the Body Claim. I argue that Russell’s Principle should be rejected. Chapter four distinguishes between two conceptions of embodied experience: bodily-awareness and bodily self-awareness. I argue that there is no such thing as bodily self-awareness and so it cannot be a transcendental condition of self-consciousness. Chapter five looks at, and finds wanting, arguments for the Body Claim that can be found in the work of Strawson. Chapter six argues that it is a transcendental condition of self-consciousness that one enjoy spatial experience. Chapters seven and eight assess two influential arguments that attempt to complete a defence of the Body Claim: the solidity argument and the action argument. I argue that neither argument is convincing. Although the conclusions are primarily negative, much is learned along the way about the nature of both self-consciousness and embodied experience. (shrink)